Julius M, Tobias N, "Formalized Proof Systems for Propositonal Logic"
https://www21.in.tum.de/~nipkow/pubs/types17.pdf
命題論理
の
証明論
に関しての
Isabelle
での形式化